extended mean value theorem